Skip to content

[pull] master from jhy:master#216

Merged
pull[bot] merged 1 commit intodudw:masterfrom
jhy:master
Mar 6, 2026
Merged

[pull] master from jhy:master#216
pull[bot] merged 1 commit intodudw:masterfrom
jhy:master

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Mar 6, 2026

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

Now if a node is replaced in head, we don't revisit it, so we won't loop.

Also rewrote the documentation around this so the mutation contract and cursor state is clear.

Added test cases to validate it.

Fixes #2472
@pull pull bot locked and limited conversation to collaborators Mar 6, 2026
@pull pull bot added the ⤵️ pull label Mar 6, 2026
@pull pull bot merged commit b6fabf8 into dudw:master Mar 6, 2026
11 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant